A topological category suited for approximation theory?
نویسندگان
چکیده
منابع مشابه
Menger probabilistic normed space is a category topological vector space
In this paper, we formalize the Menger probabilistic normed space as a category in which its objects are the Menger probabilistic normed spaces and its morphisms are fuzzy continuous operators. Then, we show that the category of probabilistic normed spaces is isomorphicly a subcategory of the category of topological vector spaces. So, we can easily apply the results of topological vector spaces...
متن کاملSet Theory for Category Theory
Questions of set-theoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made can have noticeable effects on what categorical constructions are permissible. In this expository paper we summarize and compare a number of such “set-theore...
متن کاملmenger probabilistic normed space is a category topological vector space
in this paper, we formalize the menger probabilistic normed space as a category in which its objects are the menger probabilistic normed spaces and its morphisms are fuzzy continuous operators. then, we show that the category of probabilistic normed spaces is isomorphicly a subcategory of the category of topological vector spaces. so, we can easily apply the results of topological vector spaces...
متن کاملTowards a Convenient Category of Topological Domains
We propose a category of topological spaces that promises to be convenient for the purposes of domain theory as a mathematical theory for modelling computation. Our notion of convenience presupposes the usual properties of domain theory, e.g. modelling the basic type constructors, fixed points, recursive types, etc. In addition, we seek to model parametric polymorphism, and also to provide a fl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Approximation Theory
سال: 1989
ISSN: 0021-9045
DOI: 10.1016/0021-9045(89)90137-8